Executing Logical Agent Specifications
نویسندگان
چکیده
Many agent-oriented programming languages are based on the Prolog-like logical goal reduction approach where rules are used to reduce, in a depth-first way, a selected goal. The ability of agents to change between goals means that such languages often overlay the basic computational engine with a mechanism for dynamically changing which goal is selected. Our approach is different. The basic computational approach we use is that of model building for logical formulae, but the underlying formulae are temporal. This allows us to capture the dynamic nature of the agent explicitly. In addition, the temporal basis provides us with ways of having multiple active ‘goals’ and being able to achieve several at once. As in most agent-oriented languages deliberation is used to choose between goals when not all can be satisfied at once. This basic execution of temporal formulae provides us with the foundation for agent programming. In order to deal with multi-agent systems in an equally straightforward way we also incorporate a very simple, but flexible, model of organisational structuring. These two aspects provide the core of the language implemented. There are, however, many extensions that have been proposed, some of which have been implemented, and all of which are mentioned in this article. These include varieties of agent belief, resourcebounded reasoning, the language’s use as a coordination language, and the use of contextual constraints.
منابع مشابه
Realizing the Dependently Typed Λ-calculus
Dependently typed λ-calculi such as the Edinburgh Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and their proofs. Such calculi can also be given a logic programming interpretation: the system is based on such an interpretation of LF. We have considered whether a conventional logic programming language can also p...
متن کاملIdentifying multi-level emergent behaviours in agent-based simulations using Complex Event Type specifications
Agent-based simulations (ABS) are used in many domains to study complex systems. These are systems where non-linear effects can result from these emergent behaviours, making them difficult to analyse and predict. Correspondingly, in ABS, as well as explicitly specified behaviours of individual agents, higher level behaviours can emerge spontaneously from agent action sequences and agent-agent i...
متن کاملProgramming and Executing Telecommunication Service Logic with Moorea Reactive Mobile Agents
In the context of advanced telecommunication service execution environments, this paper presents a reactive mobile agent platform, based on a synchronous programming model, a flexible object request broker, and OMG's MAF specifications on mobile agent systems interoperability. The paper details the specific design of the platform, and shows how it addresses key issues such as scalability, relia...
متن کاملTransportation Scheduling and Simulation in a Railroad Scenario: A Multi-Agent Approach
This paper presents a multi-agent system for planning, plan optimization and plan executionmonitoring in a real-time railroad transportation scenario. The planning process is implemented as incremental anytime algorithm that is capable of integrating new task specifications in the ongoing planning and planexecutionprocess. An initial solution is obtained by executing thecontractnet protocol for...
متن کاملProgramming Resource-Bounded Deliberative Agents
This paper is concerned with providing a common framework for both the logical specification and execution of agents. While numerous high-level agent theories have been proposed in order to model agents, such as theories of intention, these often have little formal connection to practical agentbased systems. On the other hand, many of the agent-based programming languages used for implementing ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009